- applicative functional
- аппликативный функциионал
English-Russian dictionary of computer science. 2015.
applicative functional
Смотреть что такое "applicative functional" в других словарях:
Applicative computing systems — Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus [Wolfengagen V.E. Methods and means for computations with objects. Applicative Computational Systems. M.: JurInfoR Ltd.,… … Wikipedia
Applicative Universal Grammar — Applicative Universal Grammar, or AUG, is a universal semantic metalanguage intended for studying the semantic processes in particular languages [ Shaumyan S. A Semiotic Theory of Language . Bloomington and Indianapolis: Indiana University Press … Wikipedia
Applicative programming language — In the classification of programming languages, an applicative programming language is designed to support the development of programs as giving the result of a function of the combined variables. Successive functional transformations are applied … Wikipedia
Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Kent Applicative Operating System — The Kent Applicative Operating System is a functional operating system concept to use dynamic process creation and inter process communication.The system is based on earlier work by Will R. Stoye. The system allow dynamic creation of functional… … Wikipedia
Categorical abstract machine — (CAM) is the model of computation of a program [ Cousineau G., Curien P. L., Mauny M. The categorical abstract machine. LNCS, 201, Functional programming languages computer architecture. 1985, pp. 50 64.] , which preserves the abilities of… … Wikipedia
CR-Klassifikation — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Das CR Classification ist eine von der ACM entwickelte und… … Deutsch Wikipedia
CR Classification — Das CR Classification ist eine von der ACM entwickelte und gepflegte Fachklassifikation für die Informatik. Das System beinhaltet eine 3 Level Hierarchie mit einem weiteren Level zur Beschreibung. Die erste Version der Klassifikation erschien im… … Deutsch Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
WAS — WebSphere WebSphere est une marque du groupe IBM. Le nom de Websphere renvoie généralement à la plate forme applicative WebSphere Application Server (WAS). Sommaire 1 La plate forme applicative 2 Les produits Websphere 3 WAS … Wikipédia en Français
